単語帖 オブジェクト指向データベース，ストリームプログラミング非単調推論，プレゼンテーション・マネージャ